Electronic Books

Total Books: 61 - 62 /62
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Lee mas
Wireless Sensor and Actor Networks II : Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canmada, July 14-15, 2008

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

Lee mas
Total Books: 61 - 62 /62